Memory model

Results: 703



#Item
11A Precise and Abstract Memory Model for C using Symbolic Values ∗ Fr´ed´eric Besson1 , Sandrine Blazy2 , and Pierre Wilke2 1 2

A Precise and Abstract Memory Model for C using Symbolic Values ∗ Fr´ed´eric Besson1 , Sandrine Blazy2 , and Pierre Wilke2 1 2

Add to Reading List

Source URL: people.rennes.inria.fr

Language: English - Date: 2014-09-03 04:27:19
    12 THE SYSTEM The 8510/a GRAPHICS COMPUTER SYSTEM consists of the Model 8510 DATA PROCESSOR, with FIS/EIS (Hardware floating point option) a 56K Byte memory/ video controller unit and the Model 8532 Keyboard/ Display. This

    THE SYSTEM The 8510/a GRAPHICS COMPUTER SYSTEM consists of the Model 8510 DATA PROCESSOR, with FIS/EIS (Hardware floating point option) a 56K Byte memory/ video controller unit and the Model 8532 Keyboard/ Display. This

    Add to Reading List

    Source URL: www.bitsavers.org

    Language: English - Date: 2003-07-06 23:44:54
      13Oblivion Tracking: Towards a Probabilistic Working Memory Model for the Adaptation of Systems to Alzheimer Patients

      Oblivion Tracking: Towards a Probabilistic Working Memory Model for the Adaptation of Systems to Alzheimer Patients

      Add to Reading List

      Source URL: cri.mines-paristech.fr

      Language: English - Date: 2018-01-19 05:04:56
        14A RESERVOIR COMPUTING MODEL OF EPISODIC MEMORY David Bhowmik, Kyriacos Nikiforou, Murray Shanahan Michail Maniadakis, Panos Trahanias

        A RESERVOIR COMPUTING MODEL OF EPISODIC MEMORY David Bhowmik, Kyriacos Nikiforou, Murray Shanahan Michail Maniadakis, Panos Trahanias

        Add to Reading List

        Source URL: timestorm.eu

        Language: English - Date: 2017-09-18 02:15:56
          15MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in

          MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in

          Add to Reading List

          Source URL: www.cis.upenn.edu

          Language: English - Date: 2007-11-15 11:26:54
            16Synaptic Mechanisms and Network Dynamics Underlying Spatial Working Memory in a Cortical Network Model Albert Compte, Nicolas Brunel1, Patricia S. Goldman-Rakic2 and Xiao-Jing Wang

            Synaptic Mechanisms and Network Dynamics Underlying Spatial Working Memory in a Cortical Network Model Albert Compte, Nicolas Brunel1, Patricia S. Goldman-Rakic2 and Xiao-Jing Wang

            Add to Reading List

            Source URL: complab.fcrb.es

            Language: English - Date: 2008-11-11 12:13:15
              17A Concrete Memory Model for CompCert∗ Fr´ed´eric Besson1 , Sandrine Blazy2 , and Pierre Wilke2 1 2

              A Concrete Memory Model for CompCert∗ Fr´ed´eric Besson1 , Sandrine Blazy2 , and Pierre Wilke2 1 2

              Add to Reading List

              Source URL: people.rennes.inria.fr

              Language: English - Date: 2015-08-24 04:29:37
                18NVM Programming Model (NPM) Version 1.2 Abstract: This SNIA document defines recommended behavior for software supporting NonVolatile Memory (NVM). This document has been released and approved by the SNIA. The SNIA belie

                NVM Programming Model (NPM) Version 1.2 Abstract: This SNIA document defines recommended behavior for software supporting NonVolatile Memory (NVM). This document has been released and approved by the SNIA. The SNIA belie

                Add to Reading List

                Source URL: www.snia.org

                - Date: 2017-08-24 14:10:14
                  19The Global Sequence Protocol a Memory Model for Distributed Systems Sebastian Burckhardt

                  The Global Sequence Protocol a Memory Model for Distributed Systems Sebastian Burckhardt

                  Add to Reading List

                  Source URL: jonathan.protzenko.fr

                  - Date: 2016-02-21 18:19:49
                    20A memory model for multicore OCaml Stephen Dolan KC Sivaramakrishnan University of Cambridge 1

                    A memory model for multicore OCaml Stephen Dolan KC Sivaramakrishnan University of Cambridge 1

                    Add to Reading List

                    Source URL: kcsrk.info

                    - Date: 2017-07-14 09:07:10